h intersection k is a subspace